Programming languages for distributed computing systems
نویسندگان
چکیده
منابع مشابه
Programming Languages for Scientific Computing
Scientific computation is a discipline that combines numerical analysis, physical understanding, algorithm development, and structured programming. Several yottacycles per year on the world’s largest computers are spent simulating problems as diverse as weather prediction, the properties of material composites, the behavior of biomolecules in solution, and the quantum nature of chemical compoun...
متن کاملProgramming Languages For Interactive Computing
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination. By contrast most applications are interactive: they maintain ongoing interactions with their environments. Modern systems address this incompatibility by manually extending the execution model of the host language to...
متن کاملToward Languages and Formal Systems for Distributed Computing
Therefore, an object can guarantee its survivability under circumstances where the objects cannot have a unique global view. Moreover, it introduces the notion of timing polymorphism that allows a server object to dynamically select one execution body (a method) that can be executed within the specied timing constraint. DROL is the rst step toward a programming language that incorporates the no...
متن کاملBigraphical Programming Languages for Pervasive Computing
The Bigraphical Programming Language project at IT University of Copenhagen contributes to the UKCRC Ubiquitous Computing Grand Challenge by researching the use of bigraphical reactive systems as a general framework in which to combine theories for design and analysis with techniques, tools and methodologies for engineering and systems building. Initial work has been addressing Context-awarenes...
متن کاملSafe Systems Programming Languages
The C programming language provides explicit memory management, precise control over low-level data representations and high code efficiency. These features are indispensable for systems programming. However, C achieved these goals at the cost of sacrificing type safety. Safety violations like array out-of-bound accesses and dangling pointer accesses lead to a huge amount of well-known software...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Computing Surveys
سال: 1989
ISSN: 0360-0300,1557-7341
DOI: 10.1145/72551.72552